Type System

A type-level approach to component prototyping

Levels of Abstraction / Type System / Programming language / Component composition / Component Model

El sistema de yacimientos de mamíferos miocenos del Cerro de los Batallones, Cuenca de Madrid: estado actual y perspectivas

Paleontology / Vertebrate Paleontology / Mammalian Paleontology / Late Miocene / Vertebrate taphonomy / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

A program logic for resources

Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS

Harmless and Profitless Delays in Discrete Competitive Lotka–Volterra Systems

Pure Mathematics / Nonlinear Analysis / Lotka Volterra / Density dependence / Time Delay / Type System / Growth rate / Interspecific competition / Difference equation / Population dynamic / Type System / Growth rate / Interspecific competition / Difference equation / Population dynamic

Syntactic control of concurrency

Model Checking / Theoretical Computer Science / Mathematical Sciences / Second Order / Type System / Game semantics / Observational Equivalence / Programming language / Data Type / Game semantics / Observational Equivalence / Programming language / Data Type

The LOGRES prototype

Algebra / Functional Programming / Polymorphism / Optimization / Object Oriented Model / Data Model / Type System / Signature / Side Effect / Database System / Object Oriented Database / Data Model / Type System / Signature / Side Effect / Database System / Object Oriented Database

El sistema de yacimientos de mamíferos miocenos del Cerro de los Batallones, Cuenca de Madrid: estado actual y perspectivas

Paleontology / Vertebrate Paleontology / Mammalian Paleontology / Late Miocene / Vertebrate taphonomy / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System

El sistema de yacimientos de mamíferos miocenos del Cerro de los Batallones, Cuenca de Madrid: estado actual y perspectivas

Paleontology / Vertebrate Paleontology / Mammalian Paleontology / Late Miocene / Vertebrate taphonomy / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System

Tribe: a simple virtual class calculus

Polymorphism / Language Design / Type System / Programming language

El sistema de yacimientos de mamíferos miocenos del Cerro de los Batallones, Cuenca de Madrid: estado actual y perspectivas

Paleontology / Vertebrate Paleontology / Mammalian Paleontology / Late Miocene / Vertebrate taphonomy / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System

A temporal object-oriented data model with multiple granularities

Reasoning / Workshops / Data Model / Type System / Object Oriented

El sistema de yacimientos de mamíferos miocenos del Cerro de los Batallones, Cuenca de Madrid: estado actual y perspectivas

Paleontology / Vertebrate Paleontology / Mammalian Paleontology / Late Miocene / Vertebrate taphonomy / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System / Miocene / Madrid Basin / Cerro de los Batallones / Mioceno / Fossil site / Type System

Decomposition Proof Systems for Gödel-Dummett Logics

Fuzzy Logic / Philosophy and Religious Studies / Mathematical Sciences / Type System

Evaluación de microsatélites para la verificación de paternidad de las razas Beefmaster y Charolais en el noreste de México

Genetics / Animal Production / Beef Cattle / Type System / Molecular Marker

A type-coercion problem in computer algebra

Universal Algebra / Polymorphism / First-Order Logic / Computer Algebra / Type System / Type Inference

Copyright © 2017 DATOSPDF Inc.